Formal Validation of the Intelligent Monitoring System PATRICIA

In critical domains, the acceptance of a given intelligent monitoring system owes much to the validation process. Formal methods for validating those systems are frequently required. However there is not a generally accepted methodology to perform the task. In this paper the authors present the methodology and results obtained from the validation process of PATRICIA, an intelligent monitoring system designed to advise clinicians in handling ICU patients long-term dependent on mechanical ventilation. The method is based on a previous retrospective analysis over different sets of patient data. Once the retrospective analysis is performed, quantitative techniques of validation are applied to investigate the performance of the system.